Cliff Jones (auth.): Z-Libraryで検索

寄付 2024年9月15日 – 2024年10月1日募金について

知識と文化への入り口。誰にでもアクセス可能です。

寄付 2024年9月15日 – 2024年10月1日

Z-Libraryは17,000,000冊以上の本と 84,837,000個の記事の本を含む世界有数の電子図書館です。我々のミッションは誰にでも本を手に入れやすくすることです！本日 (2024年9月15日) プロジェクト発展・サポートに向けた追加寄付の募集を始めます。.

までの寄付金募金期間中に寄付してくださる全てのユーザー様にも（寄付日から31日の間に）無限2024年10月1日ダウンロードを差し上げます。.

募金について詳細

寄付をする

フィルターを適用する

完全一致

完全一致

本 (31)
一番人気本
リスト
- リスト
- 表

1

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2006

言語:

english

ファイル:

PDF, 4.94 MB

0 / 0

english, 2006

2

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

年:

2005

言語:

english

ファイル:

PDF, 2.02 MB

0 / 0

english, 2005

3

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

年:

2005

言語:

english

ファイル:

PDF, 2.38 MB

0 / 0

english, 2005

4

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

言語:

english

ファイル:

PDF, 4.29 MB

0 / 0

english, 2007

5

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

言語:

english

ファイル:

PDF, 5.37 MB

0 / 0

english, 2007

6

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2009

言語:

english

ファイル:

PDF, 5.29 MB

0 / 0

english, 2009

7

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

年:

2010

言語:

english

ファイル:

PDF, 3.73 MB

0 / 0

english, 2010

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

言語:

english

ファイル:

PDF, 6.60 MB

0 / 0

english, 2007

9

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

言語:

english

ファイル:

PDF, 7.82 MB

0 / 0

english, 2007

10

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

年:

2011

言語:

english

ファイル:

PDF, 13.80 MB

0 / 5.0

english, 2011

11

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2009

言語:

english

ファイル:

PDF, 7.62 MB

0 / 0

english, 2009

12

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2009

言語:

english

ファイル:

PDF, 7.64 MB

0 / 0

english, 2009

13

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

言語:

english

ファイル:

PDF, 14.97 MB

0 / 0

english, 1978

14

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

年:

2010

言語:

english

ファイル:

PDF, 3.96 MB

0 / 0

english, 2010

15

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

年:

2012

言語:

english

ファイル:

PDF, 5.19 MB

0 / 0

english, 2012

16

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2009

言語:

english

ファイル:

PDF, 5.20 MB

0 / 0

english, 2009

17

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

年:

2006

言語:

english

ファイル:

PDF, 4.60 MB

0 / 0

english, 2006

18

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)

年:

1996

言語:

english

ファイル:

PDF, 5.11 MB

0 / 0

english, 1996

19

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

言語:

english

ファイル:

DJVU, 1.81 MB

0 / 0

english, 1978

20

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)

年:

2005

言語:

english

ファイル:

PDF, 6.90 MB

0 / 0

english, 2005

21

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

年:

1987

言語:

english

ファイル:

DJVU, 4.46 MB

0 / 0

english, 1987

22

Proof in VDM: Case Studies

Proof in VDM: Case Studies

Springer-Verlag London

John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)

年:

1998

言語:

english

ファイル:

PDF, 11.02 MB

0 / 0

english, 1998

23

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

年:

1996

言語:

english

ファイル:

DJVU, 3.39 MB

0 / 0

english, 1996

24

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

年:

2011

言語:

english

ファイル:

PDF, 13.97 MB

0 / 0

english, 2011

25

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

年:

1987

言語:

english

ファイル:

PDF, 11.36 MB

0 / 0

english, 1987

26

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

年:

2012

言語:

english

ファイル:

PDF, 7.74 MB

0 / 0

english, 2012

27

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Springer-Verlag London

Mr Patrick O’Ferrall (auth.), Cliff B. Jones DPhil, Roger C. Shaw GIMA, MBCS, Tim Denvir MA, CEng, MIEE, MBCS (eds.)

年:

1992

言語:

english

ファイル:

PDF, 12.29 MB

0 / 0

english, 1992

28

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

言語:

english

ファイル:

PDF, 14.98 MB

0 / 0

english, 1978

29

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

年:

1996

言語:

english

ファイル:

PDF, 5.90 MB

0 / 0

english, 1996

30

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Springer-Verlag London

Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)

年:

2006

言語:

english

ファイル:

PDF, 1.67 MB

0 / 0

english, 2006

31

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

言語:

english

ファイル:

PDF, 6.33 MB

0 / 0

english, 2007